формальное доказательство Русско-кыргызский словарь математических терминов (1996) формалдуу далилдөө